Lemma — Verifiable Provenance For Ai Agents

@Lemma Oracle

Visit Server

15 days ago

AI agents make decisions you can't audit. Lemma fixes that with zero-knowledge proofs over confidential documents — selective disclosure, on-chain provenance, no plaintext exposure. Query cryptographically verified attributes from agents in production. Built for regulated industries and x402/MCP-native developers. Models change. Proofs remain.

Overview Tools Comments

Overview

Lemma Oracle

Give AI proven facts.

Lemma is a cryptographically verified truth layer for agent AI. It lets AI reason over confidential data via zero-knowledge proofs, selective disclosure, and tamper-evident provenance — while raw content stays encrypted.

Every attribute an AI reads through Lemma carries permanent provenance: who issued it, which schema defined it, how it was proven, and where its verification record is anchored.

Learn more

🌐 Website: https://lemma.frame00.com
📄 Services: https://lemma.frame00.com/services
✍️ Blog & essays: https://lemma.frame00.com/blog
❓ FAQ: https://lemma.frame00.com/blog/faq

MCP server

@lemmaoracle/mcp is the Model Context Protocol (MCP) server for Lemma, published on npm and built with the official MCP SDK (@modelcontextprotocol/sdk). Point Claude Desktop or any MCP-compatible agent at it:

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": ["-y", "@lemmaoracle/mcp"],
      "env": { "LEMMA_API_KEY": "YOUR_API_KEY" }
    }
  }
}

Tool list, env vars, and contributor build: packages/mcp/README.md · npm

Packages

Public packages in this monorepo:

packages/mcp/ — @lemmaoracle/mcp, the Model Context Protocol (MCP) server for AI agents (this is the package above).
packages/sdk/ — @lemmaoracle/sdk, TypeScript SDK for the Lemma API.
packages/spec/ — @lemmaoracle/spec, OpenAPI spec + shared TypeScript types.
packages/x402/ — @lemmaoracle/x402, x402 payment middleware drop-in.

Contact

For partnership and implementation inquiries, please use the contact form: https://lemma.frame00.com/services

License

This repository uses different licenses for different packages:

Package	License
`packages/contracts`, `packages/relay`, `packages/passthrough`	BUSL-1.1 (changes to Apache-2.0 on 2030-05-01)
`packages/sdk`, `packages/spec`, `packages/mcp`, `packages/parser`, `packages/x402`	Apache-2.0
`packages/web`	Private (not distributed)

The root LICENSE file applies as the default. Each package may contain its own LICENSE file that takes precedence.

🇯🇵 日本語版はこちら / Japanese README

Try in Playground

Server Config

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "YOUR_API_KEY"
      }
    }
  }
}

Build with ShipAny.